| Name | Version | Summary | date |
|---|---|---|---|
| lean-runner | 0.0.1 | A Python client for the Lean Theorem Prover Server API. | 2025-08-10 16:43:44 |
| simple-lean-client | 0.0.1.dev4 | A Python client for the Lean Theorem Prover Server API. | 2025-08-09 03:19:53 |
| lmms-lean-client | 0.0.1.dev3 | A Python client for the Lean Theorem Prover Server API. | 2025-08-06 02:12:49 |
| hour | day | week | total |
|---|---|---|---|
| 52 | 1372 | 10454 | 309399 |